1. A first journey through logic /
المؤلف: Martin Hils, François Loeser.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
رده :
QA9
.
H52445
2019
2. Advanced mathematics :
المؤلف: Stanley J. Farlow.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Differential equations, Partial.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,Mathematics.
رده :
QA37
.
3
3. Advanced mathematics
المؤلف: Stanley J. Farlow
المکتبة: (طهران)
موضوع: Mathematics,Logic, Symbolic and mathematical, -- Textbooks, -- Textbooks,a03,a04
رده :
QA37
.
3
.
F37
2020
4. Advanced mathematics :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics ; Textbooks. ; Logic, Symbolic and mathematical ; Textbooks. ;
5. Bridge to abstract mathematics /
المؤلف: Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory
6. Discrete and decision
المؤلف: / Ian Bloomfield, John Stevens
المکتبة: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع: Mathematics -- Textbooks,Logic, Symbolic and mathematical
رده :
510
B655d
7. How to prove it
المؤلف: Daniel J. Velleman ,Velleman, Daniel J.,
المکتبة: (طهران)
موضوع: Logic, Symbolic and mathematical,Mathematics,Proof theory,Textbooks.,Textbooks.,Textbooks.
رده :
QA9
.
V38
2019
8. Logic and discrete mathematics :
المؤلف: Willem Conradie, Valentin Goranko.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics, Textbooks.,Logic, Symbolic and mathematical, Textbooks.
